1. Hilbert's Program :
پدیدآورنده : by Michael Detlefsen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Proof, logic, and formalizatio
پدیدآورنده : / edited by Michael Detlefsen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
P77
,
1991
,
WEB
3. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
4. Proof, logic, and formalization
پدیدآورنده : / edited by Michael Detlefsen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع :
رده :
E-BOOK
5. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
